Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
11	Universidade do Minho Escola de Engenharia Hugo José Pereira Pacheco Bidirectional Data Transformation by Add to Reading List Source URL: alfa.di.uminho.pt Language: English - Date: 2015-05-31 17:04:07 Lambda calculus Corrective lenses Combinatory logic Logic in computer science Bidirectional transformation Progressive lens Mathematics
12	The key to blame: Gradual typing meets cryptography Jeremy Siek Philip Wadler Indiana University, USA Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2016-07-07 08:33:11 Theoretical computer science Mathematics Mathematical logic Logic in computer science Models of computation Lambda calculus Computability theory Valuation Denotational semantics Combinatory logic Holomorphic functional calculus
13	Unifying Refinement and Hoare-Style Reasoning in a Logic for Higher-Order Concurrency Aaron Turon Derek Dreyer Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-07-22 04:30:15 Mathematical logic Logic Theoretical computer science Logic in computer science Predicate logic Philosophical logic Automated theorem proving Logic programming Hoare logic Separation logic Unification Combinatory logic
14	Resum´e Kristoffer Høgsbro Rose, Ph.D. , & (+SeptemberEmployment Add to Reading List Source URL: krisrose.net Language: English - Date: 2015-09-22 13:54:54 Computing Theoretical computer science Programming language theory Logic in computer science Formal languages Lambda calculus Functional languages Markup languages Explicit substitution International Conference on Rewriting Techniques and Applications XSLT Combinatory logic
15	Type theory and proof assistants 21 January 2009, 15.30–17.30 This test has 15 exercises, and each exercise is worth 6 points. The first 10 points are free, and the final mark is the number of points divided by ten. Go Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-12 07:22:28 Type theory Mathematical logic Theoretical computer science Lambda calculus Mathematics CurryHoward correspondence Dependent type Church encoding System F Simply typed lambda calculus Natural deduction Combinatory logic
16	Oh Lord, Please Don’t Let Contracts Be Misunderstood (Functional Pearl) Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen PLT, USA {chrdimo,maxsnew,robby,matthias}@racket-lang.org Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2016-08-09 10:09:16 Software engineering Computer programming Programming language theory Object-oriented programming languages Combinatory logic Enumerated type Contract Objective-C Scope Eiffel Racket
17	Technische Universität Dresden Fakultät Informatik DIPLOMARBEIT Free Theorems for Sublanguages of Haskell Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2008-04-14 08:10:31 Type theory Parametricity Type class Haskell Polymorphism Map Lambda calculus Combinatory logic Kind Parametric polymorphism ML Haskell features
18	AMOEBAS AND SDP JAN FONIOK AND DANIEL JOHANNSEN Abstract. The hypersurface amoeba membership problem is the problem to decide whether for an input point λ ∈ Rn , the point λ is an element of the amoeba of the hypersu Add to Reading List Source URL: www.ifor.math.ethz.ch Language: English - Date: 2009-01-25 05:07:56 Lambda calculus Matrices Positive-definite matrix Combinatory logic Spectral theory Ordinary differential equations
19	Exercise 1. a. [B y ] I[z]→ Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-12 07:22:28 Logic in computer science FO Finite model theory Combinatory logic Logic programming
20	Feature-Oriented Programming with Object Algebras Bruno C.d.S. Oliveira1 , Tijs van der Storm2 , Alex Loh3 , William R. Cook3 1 National University of Singapore () Add to Reading List Source URL: i.cs.hku.hk Language: English - Date: 2013-04-19 04:38:27 Object-oriented programming Type theory Data types Scala Algebra over a field Combinatory logic Factory Subtyping Is-a Polymorphism Von Neumann algebra Type system